2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 274 418 975 0 1416 0 0 0

N.S.

1 0.92 1.40 3.27 0.00 4.75 0.00 0.00 0.00

time (sec)

N/A 1.374 3.565 4.116 0.000 0.263 0.000 0.000 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 53 53 53 127 327 0 92 120

N.S.

1 0.90 0.90 0.90 2.15 5.54 0.00 1.56 2.03

time (sec)

N/A 0.261 0.045 2.859 0.231 0.241 0.000 0.284 1.055

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 251 36 0 30 30

N.S.

1 1.00 1.07 1.00 8.96 1.29 0.00 1.07 1.07

time (sec)

N/A 0.254 31.584 0.724 0.499 0.238 0.000 0.540 1.026

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

786 690 3078 0 0 1718 0 0 0

N.S.

1 0.88 3.92 0.00 0.00 2.19 0.00 0.00 0.00

time (sec)

N/A 2.933 11.354 0.000 0.000 0.293 0.000 0.000 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

558 501 1639 0 0 1094 0 0 0

N.S.

1 0.90 2.94 0.00 0.00 1.96 0.00 0.00 0.00

time (sec)

N/A 2.068 10.638 0.000 0.000 0.277 0.000 0.000 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

334 318 520 954 0 588 0 0 0

N.S.

1 0.95 1.56 2.86 0.00 1.76 0.00 0.00 0.00

time (sec)

N/A 1.265 2.790 3.250 0.000 0.264 0.000 0.000 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 74 114 88 95 92 0 121 129

N.S.

1 1.07 1.65 1.28 1.38 1.33 0.00 1.75 1.87

time (sec)

N/A 0.247 0.078 2.572 0.319 0.246 0.000 0.276 2.001

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 28 34 22 28 30

N.S.

1 1.00 1.08 1.00 1.08 1.31 0.85 1.08 1.15

time (sec)

N/A 0.239 12.588 0.776 0.435 0.274 1.598 1.523 1.048

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

780 654 1072 0 0 6367 0 0 0

N.S.

1 0.84 1.37 0.00 0.00 8.16 0.00 0.00 0.00

time (sec)

N/A 3.222 8.016 0.000 0.000 0.378 0.000 0.000 0.000

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

548 469 633 0 0 3582 0 0 0

N.S.

1 0.86 1.16 0.00 0.00 6.54 0.00 0.00 0.00

time (sec)

N/A 2.428 4.326 0.000 0.000 0.337 0.000 0.000 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

295 273 333 1928 0 1296 0 0 0

N.S.

1 0.93 1.13 6.54 0.00 4.39 0.00 0.00 0.00

time (sec)

N/A 1.494 2.482 8.737 0.000 0.308 0.000 0.000 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

77 75 104 90 115 353 0 108 413

N.S.

1 0.97 1.35 1.17 1.49 4.58 0.00 1.40 5.36

time (sec)

N/A 0.364 0.320 7.609 0.297 0.250 0.000 0.343 2.138

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 391 36 24 0 30

N.S.

1 1.00 1.07 1.00 13.96 1.29 0.86 0.00 1.07

time (sec)

N/A 0.256 65.101 0.495 0.552 0.279 1.634 0.000 1.353

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F F(-1) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

928 764 3368 0 0 10642 0 0 0

N.S.

1 0.82 3.63 0.00 0.00 11.47 0.00 0.00 0.00

time (sec)

N/A 3.255 11.817 0.000 0.000 0.437 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

560 485 832 2051 0 4729 0 0 0

N.S.

1 0.87 1.49 3.66 0.00 8.44 0.00 0.00 0.00

time (sec)

N/A 1.940 8.530 20.306 0.000 0.339 0.000 0.000 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 158 131 205 216 893 0 282 381

N.S.

1 1.33 1.10 1.72 1.82 7.50 0.00 2.37 3.20

time (sec)

N/A 0.354 0.351 19.282 0.269 0.255 0.000 0.330 3.112

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 1100 36 24 0 30

N.S.

1 1.00 1.07 1.00 39.29 1.29 0.86 0.00 1.07

time (sec)

N/A 0.254 65.558 0.869 1.843 3.894 2.965 0.000 3.748

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 26 26 22 26 26

N.S.

1 1.00 1.08 1.00 1.08 1.08 0.92 1.08 1.08

time (sec)

N/A 0.228 10.441 0.684 0.388 0.232 2.706 0.379 1.041

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 26 26 22 26 26

N.S.

1 1.00 1.08 1.00 1.08 1.08 0.92 1.08 1.08

time (sec)

N/A 0.231 8.762 0.434 0.389 0.230 1.376 0.341 0.943

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 205 24 20 24 24

N.S.

1 1.00 1.09 1.00 9.32 1.09 0.91 1.09 1.09

time (sec)

N/A 0.209 2.942 0.197 1.005 0.237 0.785 0.369 0.946

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

74 72 78 164 157 411 0 0 199

N.S.

1 0.97 1.05 2.22 2.12 5.55 0.00 0.00 2.69

time (sec)

N/A 0.329 1.051 3.095 0.364 0.240 0.000 0.000 1.322

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 224 202 491 0 1378 0 0 0

N.S.

1 0.96 0.86 2.10 0.00 5.89 0.00 0.00 0.00

time (sec)

N/A 0.964 1.106 3.239 0.000 0.266 0.000 0.000 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

348 318 368 0 0 2420 0 0 0

N.S.

1 0.91 1.06 0.00 0.00 6.95 0.00 0.00 0.00

time (sec)

N/A 1.380 1.053 0.000 0.000 0.294 0.000 0.000 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

74 72 78 164 157 411 0 0 199

N.S.

1 0.97 1.05 2.22 2.12 5.55 0.00 0.00 2.69

time (sec)

N/A 0.321 0.170 2.963 0.350 0.249 0.000 0.000 0.002

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 224 202 491 0 1378 0 0 0

N.S.

1 0.96 0.86 2.10 0.00 5.89 0.00 0.00 0.00

time (sec)

N/A 0.975 0.725 3.217 0.000 0.273 0.000 0.000 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

348 318 368 0 0 2420 0 0 0

N.S.

1 0.91 1.06 0.00 0.00 6.95 0.00 0.00 0.00

time (sec)

N/A 1.391 0.249 0.000 0.000 0.288 0.000 0.000 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

112 116 112 308 413 1230 0 0 0

N.S.

1 1.04 1.00 2.75 3.69 10.98 0.00 0.00 0.00

time (sec)

N/A 0.455 1.390 15.046 0.429 0.272 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

306 301 623 805 0 5233 0 0 0

N.S.

1 0.98 2.04 2.63 0.00 17.10 0.00 0.00 0.00

time (sec)

N/A 1.255 10.282 16.253 0.000 0.332 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

631 561 5753 0 0 11757 0 0 0

N.S.

1 0.89 9.12 0.00 0.00 18.63 0.00 0.00 0.00

time (sec)

N/A 2.878 13.702 0.000 0.000 0.426 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

112 116 112 308 413 1230 0 0 0

N.S.

1 1.04 1.00 2.75 3.69 10.98 0.00 0.00 0.00

time (sec)

N/A 0.457 0.635 14.547 0.429 0.260 0.000 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

306 301 623 805 0 5233 0 0 0

N.S.

1 0.98 2.04 2.63 0.00 17.10 0.00 0.00 0.00

time (sec)

N/A 1.264 6.681 15.877 0.000 0.340 0.000 0.000 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

631 561 5753 0 0 11757 0 0 0

N.S.

1 0.89 9.12 0.00 0.00 18.63 0.00 0.00 0.00

time (sec)

N/A 2.887 6.909 0.000 0.000 0.411 0.000 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

448 452 2809 0 0 1976 0 0 0

N.S.

1 1.01 6.27 0.00 0.00 4.41 0.00 0.00 0.00

time (sec)

N/A 2.276 9.733 0.000 0.000 0.293 0.000 0.000 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

330 334 1301 0 0 1265 0 0 0

N.S.

1 1.01 3.94 0.00 0.00 3.83 0.00 0.00 0.00

time (sec)

N/A 1.640 9.480 0.000 0.000 0.287 0.000 0.000 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 209 377 483 0 692 0 0 0

N.S.

1 0.99 1.78 2.28 0.00 3.26 0.00 0.00 0.00

time (sec)

N/A 0.981 2.630 2.553 0.000 0.261 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 30 33 33 83 132 65 60 31

N.S.

1 0.88 0.97 0.97 2.44 3.88 1.91 1.76 0.91

time (sec)

N/A 0.252 0.032 1.199 0.219 0.246 0.870 0.270 0.079

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

32 32 34 32 164 40 0 34 34

N.S.

1 1.00 1.06 1.00 5.12 1.25 0.00 1.06 1.06

time (sec)

N/A 0.245 21.620 0.518 0.423 0.240 0.000 0.390 1.071

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

696 641 1994 0 0 3847 0 0 0

N.S.

1 0.92 2.86 0.00 0.00 5.53 0.00 0.00 0.00

time (sec)

N/A 3.630 9.612 0.000 0.000 0.340 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

510 484 1188 0 0 2410 0 0 0

N.S.

1 0.95 2.33 0.00 0.00 4.73 0.00 0.00 0.00

time (sec)

N/A 2.739 4.447 0.000 0.000 0.308 0.000 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

327 324 582 1012 0 1284 0 0 0

N.S.

1 0.99 1.78 3.09 0.00 3.93 0.00 0.00 0.00

time (sec)

N/A 1.523 1.885 6.047 0.000 0.276 0.000 0.000 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

95 107 109 167 160 446 0 155 212

N.S.

1 1.13 1.15 1.76 1.68 4.69 0.00 1.63 2.23

time (sec)

N/A 0.536 0.252 3.816 0.294 0.266 0.000 0.289 1.286

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

34 34 36 34 243 42 0 36 36

N.S.

1 1.00 1.06 1.00 7.15 1.24 0.00 1.06 1.06

time (sec)

N/A 0.282 12.148 0.654 0.381 0.246 0.000 0.532 1.371

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F F B F(-1) F F(-1)

verified

N/A N/A No N/A TBD TBD TBD TBD TBD

size

864 0 5656 0 0 7980 0 0 0

N.S.

1 0.00 6.55 0.00 0.00 9.24 0.00 0.00 0.00

time (sec)

N/A 0.000 32.984 0.000 0.000 0.357 0.000 0.000 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F F B F(-1) F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

636 0 1961 0 0 4887 0 0 0

N.S.

1 0.00 3.08 0.00 0.00 7.68 0.00 0.00 0.00

time (sec)

N/A 0.000 11.524 0.000 0.000 0.359 0.000 0.000 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

400 360 604 1102 0 2465 0 0 0

N.S.

1 0.90 1.51 2.76 0.00 6.16 0.00 0.00 0.00

time (sec)

N/A 2.250 1.703 15.085 0.000 0.300 0.000 0.000 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 75 75 80 183 652 0 145 180

N.S.

1 0.88 0.88 0.94 2.15 7.67 0.00 1.71 2.12

time (sec)

N/A 0.317 0.106 8.980 0.202 0.288 0.000 0.301 1.160

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

34 34 36 34 348 42 0 36 36

N.S.

1 1.00 1.06 1.00 10.24 1.24 0.00 1.06 1.06

time (sec)

N/A 0.288 38.207 0.853 0.491 0.257 0.000 0.523 2.756

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F A F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1021 886 3078 0 0 1715 0 0 0

N.S.

1 0.87 3.01 0.00 0.00 1.68 0.00 0.00 0.00

time (sec)

N/A 3.894 11.334 0.000 0.000 0.321 0.000 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F A F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

716 633 1640 0 0 1083 0 0 0

N.S.

1 0.88 2.29 0.00 0.00 1.51 0.00 0.00 0.00

time (sec)

N/A 2.978 10.377 0.000 0.000 0.281 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

421 390 521 1287 0 589 0 0 0

N.S.

1 0.93 1.24 3.06 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 1.822 2.978 2.477 0.000 0.279 0.000 0.000 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 71 71 97 95 92 0 121 130

N.S.

1 1.03 1.03 1.41 1.38 1.33 0.00 1.75 1.88

time (sec)

N/A 0.255 0.067 1.065 0.285 0.271 0.000 0.287 2.044

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 28 34 22 0 28

N.S.

1 1.00 1.08 1.00 1.08 1.31 0.85 0.00 1.08

time (sec)

N/A 0.226 11.387 1.014 0.409 0.283 1.373 0.000 1.205

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

917 792 1144 0 0 6503 0 0 0

N.S.

1 0.86 1.25 0.00 0.00 7.09 0.00 0.00 0.00

time (sec)

N/A 5.064 7.717 0.000 0.000 0.400 0.000 0.000 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

648 573 633 0 0 3662 0 0 0

N.S.

1 0.88 0.98 0.00 0.00 5.65 0.00 0.00 0.00

time (sec)

N/A 3.626 4.485 0.000 0.000 0.332 0.000 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

335 313 331 1858 0 1338 0 0 0

N.S.

1 0.93 0.99 5.55 0.00 3.99 0.00 0.00 0.00

time (sec)

N/A 2.052 2.653 5.269 0.000 0.312 0.000 0.000 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

78 84 104 101 117 350 0 106 170

N.S.

1 1.08 1.33 1.29 1.50 4.49 0.00 1.36 2.18

time (sec)

N/A 0.386 0.377 2.849 0.285 0.258 0.000 0.292 1.369

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

32 32 34 32 386 40 29 0 36

N.S.

1 1.00 1.06 1.00 12.06 1.25 0.91 0.00 1.12

time (sec)

N/A 0.262 71.447 0.690 0.488 0.300 2.198 0.000 1.549

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F F(-1) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

1176 958 3390 0 0 11164 0 0 0

N.S.

1 0.81 2.88 0.00 0.00 9.49 0.00 0.00 0.00

time (sec)

N/A 5.093 12.129 0.000 0.000 0.446 0.000 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

711 600 821 2074 0 4993 0 0 0

N.S.

1 0.84 1.15 2.92 0.00 7.02 0.00 0.00 0.00

time (sec)

N/A 2.892 9.119 13.606 0.000 0.377 0.000 0.000 0.000

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 145 130 212 218 926 0 286 337

N.S.

1 1.19 1.07 1.74 1.79 7.59 0.00 2.34 2.76

time (sec)

N/A 0.381 0.467 7.812 0.288 0.271 0.000 0.317 2.797

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

34 34 36 34 1104 42 31 0 36

N.S.

1 1.00 1.06 1.00 32.47 1.24 0.91 0.00 1.06

time (sec)

N/A 0.276 75.403 0.724 1.964 4.088 3.698 0.000 3.852

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

606 591 2684 0 0 3891 0 0 0

N.S.

1 0.98 4.43 0.00 0.00 6.42 0.00 0.00 0.00

time (sec)

N/A 3.271 15.548 0.000 0.000 0.326 0.000 0.000 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

449 428 1453 0 0 2414 0 0 0

N.S.

1 0.95 3.24 0.00 0.00 5.38 0.00 0.00 0.00

time (sec)

N/A 2.452 9.368 0.000 0.000 0.289 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 274 483 565 0 1248 0 0 0

N.S.

1 0.99 1.74 2.03 0.00 4.49 0.00 0.00 0.00

time (sec)

N/A 1.507 0.340 8.821 0.000 0.282 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 48 49 54 119 309 87 88 46

N.S.

1 0.87 0.89 0.98 2.16 5.62 1.58 1.60 0.84

time (sec)

N/A 0.277 0.047 3.295 0.205 0.241 0.882 0.306 0.128

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

34 34 36 34 235 42 0 36 36

N.S.

1 1.00 1.06 1.00 6.91 1.24 0.00 1.06 1.06

time (sec)

N/A 0.283 27.098 0.770 0.399 0.258 0.000 0.495 1.442

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F F B F(-1) F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

897 0 1667 0 0 7042 0 0 0

N.S.

1 0.00 1.86 0.00 0.00 7.85 0.00 0.00 0.00

time (sec)

N/A 0.000 4.637 0.000 0.000 0.364 0.000 0.000 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F F B F(-1) F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

649 0 966 0 0 4311 0 0 0

N.S.

1 0.00 1.49 0.00 0.00 6.64 0.00 0.00 0.00

time (sec)

N/A 0.000 2.975 0.000 0.000 0.334 0.000 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

403 391 626 1128 0 2195 0 0 0

N.S.

1 0.97 1.55 2.80 0.00 5.45 0.00 0.00 0.00

time (sec)

N/A 2.256 2.521 21.237 0.000 0.309 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

141 163 123 244 209 745 0 211 278

N.S.

1 1.16 0.87 1.73 1.48 5.28 0.00 1.50 1.97

time (sec)

N/A 1.107 0.539 9.181 0.284 0.264 0.000 0.298 1.416

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

36 36 38 36 334 44 0 38 38

N.S.

1 1.00 1.06 1.00 9.28 1.22 0.00 1.06 1.06

time (sec)

N/A 0.340 11.016 0.769 0.391 0.238 0.000 0.520 1.184

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F F B F(-1) F F(-1)

verified

N/A N/A No N/A TBD TBD TBD TBD TBD

size

1123 0 8401 0 0 12603 0 0 0

N.S.

1 0.00 7.48 0.00 0.00 11.22 0.00 0.00 0.00

time (sec)

N/A 0.000 28.848 0.000 0.000 0.433 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F F B F(-1) F F(-1)

verified

N/A N/A No N/A TBD TBD TBD TBD TBD

size

819 0 5113 0 0 7645 0 0 0

N.S.

1 0.00 6.24 0.00 0.00 9.33 0.00 0.00 0.00

time (sec)

N/A 0.000 15.705 0.000 0.000 0.376 0.000 0.000 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B F B F(-1) F F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

499 0 904 1217 0 3795 0 0 0

N.S.

1 0.00 1.81 2.44 0.00 7.61 0.00 0.00 0.00

time (sec)

N/A 0.000 1.880 59.061 0.000 0.319 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 100 98 97 234 1069 0 202 238

N.S.

1 0.88 0.87 0.86 2.07 9.46 0.00 1.79 2.11

time (sec)

N/A 0.360 0.169 25.339 0.201 0.271 0.000 0.309 1.324

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

36 36 38 36 442 44 0 38 38

N.S.

1 1.00 1.06 1.00 12.28 1.22 0.00 1.06 1.06

time (sec)

N/A 0.327 30.220 0.870 0.528 0.247 0.000 0.756 1.203

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F A F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1218 1036 3251 0 0 1962 0 0 0

N.S.

1 0.85 2.67 0.00 0.00 1.61 0.00 0.00 0.00

time (sec)

N/A 5.141 11.151 0.000 0.000 0.319 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F A F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

861 748 1759 0 0 1248 0 0 0

N.S.

1 0.87 2.04 0.00 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 4.110 10.573 0.000 0.000 0.324 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

516 471 578 3882 0 682 0 0 0

N.S.

1 0.91 1.12 7.52 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 2.550 3.915 2.073 0.000 0.293 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 85 78 132 110 111 0 121 174

N.S.

1 1.15 1.05 1.78 1.49 1.50 0.00 1.64 2.35

time (sec)

N/A 0.340 0.078 1.096 0.383 0.280 0.000 0.336 2.090

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

32 32 34 32 252 40 29 0 34

N.S.

1 1.00 1.06 1.00 7.88 1.25 0.91 0.00 1.06

time (sec)

N/A 0.254 15.538 0.468 0.506 0.304 1.417 0.000 1.439

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1118 949 1147 0 0 6494 0 0 0

N.S.

1 0.85 1.03 0.00 0.00 5.81 0.00 0.00 0.00

time (sec)

N/A 6.361 8.175 0.000 0.000 0.406 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

772 670 633 0 0 3661 0 0 0

N.S.

1 0.87 0.82 0.00 0.00 4.74 0.00 0.00 0.00

time (sec)

N/A 4.790 5.061 0.000 0.000 0.343 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

385 353 331 1928 0 1337 0 0 0

N.S.

1 0.92 0.86 5.01 0.00 3.47 0.00 0.00 0.00

time (sec)

N/A 2.554 3.060 2.497 0.000 0.313 0.000 0.000 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

90 88 106 103 115 351 0 108 422

N.S.

1 0.98 1.18 1.14 1.28 3.90 0.00 1.20 4.69

time (sec)

N/A 0.511 0.384 0.909 0.278 0.258 0.000 0.323 1.507

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 391 36 24 0 30

N.S.

1 1.00 1.07 1.00 13.96 1.29 0.86 0.00 1.07

time (sec)

N/A 0.252 52.789 0.619 0.548 0.289 1.228 0.000 1.377

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F F(-1) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

1256 1026 3390 0 0 10934 0 0 0

N.S.

1 0.82 2.70 0.00 0.00 8.71 0.00 0.00 0.00

time (sec)

N/A 6.381 12.072 0.000 0.000 0.463 0.000 0.000 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

760 646 823 2068 0 4903 0 0 0

N.S.

1 0.85 1.08 2.72 0.00 6.45 0.00 0.00 0.00

time (sec)

N/A 3.564 9.271 7.204 0.000 0.371 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 146 130 209 219 917 0 281 339

N.S.

1 1.21 1.07 1.73 1.81 7.58 0.00 2.32 2.80

time (sec)

N/A 0.412 0.275 2.862 0.318 0.284 0.000 0.324 2.738

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

34 34 36 34 1102 42 31 0 38

N.S.

1 1.00 1.06 1.00 32.41 1.24 0.91 0.00 1.12

time (sec)

N/A 0.276 68.834 0.688 1.941 4.074 2.907 0.000 3.318

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F F B F(-1) F F(-1)

verified

N/A N/A No N/A TBD TBD TBD TBD TBD

size

792 0 5656 0 0 7020 0 0 0

N.S.

1 0.00 7.14 0.00 0.00 8.86 0.00 0.00 0.00

time (sec)

N/A 0.000 28.493 0.000 0.000 0.358 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F F B F(-1) F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

578 0 1961 0 0 4263 0 0 0

N.S.

1 0.00 3.39 0.00 0.00 7.38 0.00 0.00 0.00

time (sec)

N/A 0.000 11.409 0.000 0.000 0.329 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

348 333 452 671 0 2129 0 0 0

N.S.

1 0.96 1.30 1.93 0.00 6.12 0.00 0.00 0.00

time (sec)

N/A 2.169 0.918 28.602 0.000 0.299 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 66 66 65 171 602 105 117 63

N.S.

1 0.87 0.87 0.86 2.25 7.92 1.38 1.54 0.83

time (sec)

N/A 0.287 0.079 13.595 0.217 0.270 0.918 0.329 0.997

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

34 34 36 34 326 42 0 36 36

N.S.

1 1.00 1.06 1.00 9.59 1.24 0.00 1.06 1.06

time (sec)

N/A 0.275 35.624 0.878 0.433 0.259 0.000 0.552 2.770

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F F B F(-1) F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

1038 0 5984 0 0 10658 0 0 0

N.S.

1 0.00 5.76 0.00 0.00 10.27 0.00 0.00 0.00

time (sec)

N/A 0.000 21.236 0.000 0.000 0.451 0.000 0.000 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F F B F(-1) F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

755 0 3579 0 0 6459 0 0 0

N.S.

1 0.00 4.74 0.00 0.00 8.55 0.00 0.00 0.00

time (sec)

N/A 0.000 13.140 0.000 0.000 0.372 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

474 455 1627 1213 0 3228 0 0 0

N.S.

1 0.96 3.43 2.56 0.00 6.81 0.00 0.00 0.00

time (sec)

N/A 2.873 4.223 76.737 0.000 0.325 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

184 222 153 293 257 1134 0 258 330

N.S.

1 1.21 0.83 1.59 1.40 6.16 0.00 1.40 1.79

time (sec)

N/A 1.519 1.560 36.969 0.314 0.265 0.000 0.340 1.453

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

36 36 38 36 417 44 0 38 38

N.S.

1 1.00 1.06 1.00 11.58 1.22 0.00 1.06 1.06

time (sec)

N/A 0.343 15.783 0.886 0.438 0.252 0.000 0.784 1.184